simplification of a petri net controller in industrial systems
Authors
abstract
this paper deals with the problem of forbidden states in discrete event systems modeled by petri net. to avoid the forbidden states, some constraints which are called generalized mutual exclusion constraints can be assigned to them. enforcing these constraints on the system can be performed using control places. however, when the number of these constraints is large, a large number of control places must be connected to the system which complicates the model of controller. in this paper, the objective is to propose a general method for reducing the number of the mentioned constraints and consequently the number of control places. this method is based on mixing some constraints for obtaining a constraint verifying all of them which is performed using the optimization algorithms. the obtained controller after reducing the number of the control places is maximally permissive.
similar resources
Simplification of a Petri Net controller in industrial systems
This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them. Enforcing these constraints on the system can be performed using control places. However, when the number of these constraints is large, a large number of control p...
full textA Petri-net Model for Operational Cycle in SCADA Systems
Supervisory control and data acquisition (SCADA) system monitors and controls industrial processes in critical infrastructures (CIs) and plays the vital role in maintaining the reliability of CIs such as power, oil, and gas system. In fact, SCADA system refers to the set of control process, which measures and monitors sensors in remote substations from a control center. These sensors usually ha...
full textPetri Net Modeling for Parallel Bank ATM Systems
In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...
full textA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
full textParallel Controller Synthesis from a Petri Net Speci cation
This paper presents new algorithms for the synthesis of parallel controllers that operate on a Petri net. This net is rst simpli ed by reduction, then coloured and nally used to generate a state assignment with which the controller can be synthesised. The new concept of using colours for detecting and representing concurrency within the Petri net is presented.
full textSafety analysis of discrete event systems using a simplified Petri net controller.
This paper deals with the problem of forbidden states in discrete event systems based on Petri net models. So, a method is presented to prevent the system from entering these states by constructing a small number of generalized mutual exclusion constraints. This goal is achieved by solving three types of Integer Linear Programming problems. The problems are designed to verify the constraints th...
full textMy Resources
Save resource for easier access later
Journal title:
international journal of industrial engineering and productional research-جلد ۲۴، شماره ۱، صفحات ۵۹-۷۰
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023